| Date | Author | File/Message |
|---|---|---|
| 4/7/05 10:27 PM | joewhaley | Support for dynamic resizing domains.
(14 Files changed,
460 Lines changed) net/sf/javabdd/TestBDDFactory.java 1.6
(+12
-2)
net/sf/javabdd/BuDDyFactory.java 1.8
(+10
-2)
net/sf/javabdd/JFactory.java 1.18
(+156
-26)
buddy/src/kernel.c 1.9
(+83
-2)
buddy_jni.c 1.30
(+19
-1)
net/sf/javabdd/MicroFactory.java 1.8
(+90
-2)
net/sf/javabdd/BDDFactory.java 1.7
(+11
-5)
net/sf/javabdd/JDDFactory.java 1.5
(+10
-2)
net/sf/javabdd/CUDDFactory.java 1.5
(+10
-2)
net/sf/javabdd/TypedBDDFactory.java 1.6
(+10
-3)
buddy/src/bdd.h 1.5
(+2
-0)
buddy/src/reorder.c 1.9
(+0
-1)
net/sf/javabdd/BDDDomain.java 1.5
(+37
-3)
net/sf/javabdd/CALFactory.java 1.5
(+10
-2)
|
| 3/15/05 1:22 AM | joewhaley | Added setIncreaseFactor()
(2 Files changed,
48 Lines changed) buddy/src/kernel.c 1.8
(+30
-2)
buddy_jni.c 1.29
(+18
-0)
|
| 2/26/05 1:41 PM | joewhaley | Fix stupid bug with OpCacheData.
(1 Files changed,
4 Lines changed) net/sf/javabdd/JFactory.java 1.17
(+4
-4)
|
| 2/26/05 1:32 PM | joewhaley | Fix stupid bug with OpCacheData.
(1 Files changed,
8 Lines changed) net/sf/javabdd/JFactory.java 1.16
(+8
-3)
|
| 2/26/05 1:19 PM | joewhaley | Fix when OutOfMemoryError occurs.
Also better cache stats.
(1 Files changed,
311 Lines changed) net/sf/javabdd/MicroFactory.java 1.7
(+311
-17)
|
| 2/26/05 1:18 PM | joewhaley | Fix when OutOfMemoryError occurs.
(1 Files changed,
5 Lines changed) net/sf/javabdd/JFactory.java 1.15
(+5
-5)
|
| 2/4/05 4:33 PM | joewhaley | Fix xml
(1 Files changed,
1 Lines changed) xdocs/links.xml 1.3
(+1
-0)
|
| 2/4/05 3:06 AM | joewhaley | Added links to projects using JavaBDD.
(1 Files changed,
15 Lines changed) xdocs/links.xml 1.2
(+15
-0)
|
| 2/2/05 6:12 PM | joewhaley | Added hashCode() methods.
(1 Files changed,
4 Lines changed) net/sf/javabdd/MicroFactory.java 1.6
(+4
-2)
|
| 2/2/05 12:03 AM | joewhaley | Automatically find JDK 1.5, as well as 1.4.
(1 Files changed,
1 Lines changed) Makefile 1.40
(+1
-1)
|
| 1/31/05 4:17 AM | joewhaley | A little more robust.
(1 Files changed,
8 Lines changed) buddy_jni.c 1.28
(+8
-2)
|
| 1/31/05 4:15 AM | joewhaley | Scale time by clocks_per_sec
(1 Files changed,
3 Lines changed) buddy_jni.c 1.27
(+3
-2)
|
| 1/31/05 4:04 AM | joewhaley | Fix typo in appuni()
(1 Files changed,
5 Lines changed) net/sf/javabdd/MicroFactory.java 1.5
(+5
-4)
|
| 1/31/05 4:04 AM | joewhaley | Fix stupid bug.
(1 Files changed,
4 Lines changed) buddy/src/reorder.c 1.8
(+4
-4)
|
| 1/31/05 4:03 AM | joewhaley | Added correct support for unique() and appuni().
(1 Files changed,
129 Lines changed) buddy/src/bddop.c 1.10
(+129
-8)
|
| 1/31/05 2:34 AM | joewhaley | Optimized makenode search and DECREF() macro.
(1 Files changed,
19 Lines changed) net/sf/javabdd/MicroFactory.java 1.4
(+19
-17)
|
| 1/31/05 2:23 AM | joewhaley | Special optimization in makenode search when using small nodes.
(1 Files changed,
19 Lines changed) buddy/src/kernel.c 1.7
(+19
-0)
|
| 1/31/05 2:09 AM | joewhaley | Added getVersion0()
(1 Files changed,
21 Lines changed) buddy_jni.c 1.26
(+21
-0)
|
| 1/31/05 2:08 AM | joewhaley | Small cleanups here and there.
(1 Files changed,
31 Lines changed) net/sf/javabdd/JFactory.java 1.14
(+31
-66)
|
| 1/31/05 2:08 AM | joewhaley | Added support for finding compulsory misses in cache.
Standardized naming so we can move code between here and JFactory.
(1 Files changed,
475 Lines changed) net/sf/javabdd/MicroFactory.java 1.3
(+475
-298)
|